subspace proof